Coordinated Control of Discrete Event Systems with Nonprefix-Closed Languages
نویسندگان
چکیده
In this paper, the supervisory control synthesis of modular or distributed discreteevent systems is discussed. The coordination-control architecture proposed by Komenda and van Schuppen (2008) and studied for prefix-closed specification languages by Komenda et al. (2010a,b) is generalized to the case of non-prefix-closed global specification languages and non-prefix-closed plant languages. Necessary and sufficient conditions for the solvability of the coordinated supervisory control synthesis problem are characterized in terms analogous to the terms of controllable and closed languages used in supervisory control theory of monolithic discrete-event systems.
منابع مشابه
Maximally Permissive Coordination Supervisory Control - Towards Necessary and Sufficient Conditions
In this paper, we further develop the coordination control framework for discrete-event systems with both complete and partial observation. A new weaker sufficient condition for the computation of the supremal conditionally controllable sublanguage is presented. This result is then used for the computation of the supremal conditionally controllable and conditionally normal sublanguage. The pape...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملRecent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملOptimal Finite-time Control of Positive Linear Discrete-time Systems
This paper considers solving optimization problem for linear discrete time systems such that closed-loop discrete-time system is positive (i.e., all of its state variables have non-negative values) and also finite-time stable. For this purpose, by considering a quadratic cost function, an optimal controller is designed such that in addition to minimizing the cost function, the positivity proper...
متن کامل